Folding Partially Ordered Runs
نویسنده
چکیده
In this paper we present a folding algorithm to construct a process model from a specification given by a set of scenarios. Each scenario is formalized as a partially ordered set of activities of the process. As a process model we consider Event-driven Process Chains which are well established in the domain of business process modeling. Assuming that a specification describes valid behavior of the process to be modeled, the crucial requirement is to get a process model which in any case is able to execute all input scenarios.
منابع مشابه
Folding Example Runs to a Workflow Net
We present a folding algorithm to construct a business process model from a specification. The process model is a workflow net, i.e. a Petri net with explicit splitand join-transitions and the specification is a set of example runs. Each example run is a labeled partial order of events, and each event relates to the occurrence of an activity of the underlying business process. In contrast to se...
متن کاملPartially Ordered Runs: A Case Study
We look at some sources of insecurity and difficulty in reasoning about partially ordered runs of distributed ASMs, and propose some techniques to facilitate such reasoning. As a case study, we prove in detail correctness and deadlock–freedom for general partially ordered runs of distributed ASM models of Lamport’s Bakery Algorithm.
متن کاملGeneralized $F$-contractions in Partially Ordered Metric Spaces
We discuss about the generalized $F$-contraction mappings in partially ordered metric spaces. For this, we first introduce the notion of ordered weakly $F$-contraction mapping. We also present some fixed point results about this type of mapping in partially ordered metric spaces. Next, we introduce the notion of $acute{mathrm{C}}$iri$acute{mathrm{c}}$ type generalized ordered weakly $F$-contrac...
متن کاملGeneralized Weakly Contractions in Partially Ordered Fuzzy Metric Spaces
In this paper, a concept of generalized weakly contraction mappings in partially ordered fuzzy metric spaces is introduced and coincidence point theorems on partially ordered fuzzy metric spaces are proved. Also, as the corollary of these theorems, some common fixed point theorems on partially ordered fuzzy metric spaces are presented.
متن کاملBhaskar-Lakshmikantham type results for monotone mappings in partially ordered metric spaces
In this paper, coupled xed point results of Bhaskar-Lakshmikantham type [T. Gnana Bhaskar, V.Lakshmikantham, Fixed point theorems in partially ordered metric spaces and applications, NonlinearAnalysis 65 (2006) 1379-1393] are extend, generalized, unify and improved by using monotonemappings instead mappings with mixed monotone property. Also, an example is given to supportthese improvements.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011